exports_files(["bar.txt"])
